Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
981	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-09-24 15:54:27 Electronic design automation Electronic design Logic in computer science Algebraic logic Logic synthesis Combinational logic Canonical form Boolean algebra Karnaugh map Electronic engineering Digital electronics Design
982	Model fitting by least squares Jon Claerbout The first level of computer use in science and engineering is modeling. Beginning from physical principles and design ideas, the computer mimics nature. Then the worker looks Add to Reading List Source URL: www.reproducibility.org Language: English - Date: 2014-12-01 18:43:37 Differential equations Integral transforms Fourier analysis Linear algebra Fourier transform Joseph Fourier Derivative Partial differential equation Vector space Mathematical analysis Mathematics Algebra
983	rKanren Guided Search in miniKanren Cameron Swords Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:14 Lambda calculus Theoretical computer science Weight Mathematics Applied mathematics Abstract algebra Models of computation Computability theory
984	SEAMLESS MULTICORE PARALLELISM IN MATLAB Claude Tadonki 1 and Pierre-Louis Caruana 2 Mines ParisTech - CRI - Math´ematiques et Syst`emes 35, rue Saint-Honor´e, 77305, Fontainebleau Cedex (France) claude.tadonki@mines-p Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-03-20 11:02:23 Array programming languages Numerical linear algebra Parallel computing Programming paradigms MATLAB Array programming MEX file OpenMP Software Computing Computer programming
985	Some experiments investigating a possible L(1/4) algorithm for the discrete logarithm problem in algebraic curves Maike Massierer∗ LORIA, Campus Scientifique, BP 239, 54506 Vandœuvre-l`es-Nancy Cedex, France maike.mas Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-13 07:45:36 Polynomials Computer algebra Integer factorization algorithms Group theory General number field sieve Factorization of polynomials Logarithm Finite field Index calculus algorithm Abstract algebra Mathematics Algebra
986	A Fast Phase-Based Enumeration Algorithm for SVP Challenge through y-Sparse Representations of Short Lattice Vectors ? ?? Dan Ding1 , Guizhen Zhu2 , Yang Yu1 , Zhongxiang Zheng1 1 Department of Computer Science and Tech Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-04 01:20:06 Lattice points Cryptography Computational number theory Linear algebra Quadratic forms Lattice problem Lattice reduction Lattice Lenstra–Lenstra–Lovász lattice basis reduction algorithm Algebra Mathematics Abstract algebra
987	Name that voice: Mathematica catches impersonations Add to Reading List Source URL: techxplore.com Language: English - Date: 2015-05-15 19:28:10 Wolfram Research Knights Bachelor Computer algebra systems Array programming languages Mathematica Wolfram Alpha Alan Rickman Snippet Michael Caine Mathematical software Application software Software
988	Negative Ternary Set-Sharing Eric Trias,1,2, Jorge Navas,1 Elena S. Ackley,1 Stephanie Forrest1 , and M. Hermenegildo1,3 1 University of New Mexico, USA Air Force Institute of Technology, USA Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-11-02 22:57:41 Formal languages Boolean algebra Character encoding String FO Finitary relation Binary decision diagram Mathematics Theoretical computer science Combinatorics
989	Practical Affiliation-Hiding Authentication from Improved Polynomial Interpolation (Full Version? ) Mark Manulis and Bertram Poettering Cryptographic Protocols Group Department of Computer Science Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-28 06:35:09 Interpolation Polynomials Polynomial interpolation Polynomial Lagrange polynomial Time complexity Finite field Vandermonde matrix Mathematics Algebra Theoretical computer science
990	Novel Precomputation Schemes for Elliptic Curve Cryptosystems Patrick Longa, and Catherine Gebotys Department of Electrical and Computer Engineering University of Waterloo, Canada {plonga, cgebotys}@uwaterloo.ca Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-01-08 14:48:27 Elliptic curves Finite fields Analytic number theory Elliptic curve Group theory Edwards curve Inversive geometry Hessian form of an elliptic curve Jacobian curve Abstract algebra Cryptography Elliptic curve cryptography

UPDATE